<?php
/**
使用判断函数
 */

$a =10;
$c = is_int($a);
var_dump($c);

if (is_int($a)){
    echo "this is int";
} else {
    echo "is not int";
}